Susan Eisenbach
Susan Eisenbach | |
---|---|
![]() | |
Alma mater | Vassar College |
Scientific career | |
Fields | Programming languages Concurrency Testing Verification Smart contracts[1] |
Institutions | Imperial College London |
Doctoral students | Diomidis Spinellis[2][3] |
Website | www |
Susan Eisenbach is an Emeritus Professor of Computer Science at Imperial College London. Her research investigates techniques for producing good software systems that behave appropriately.[4][1]
Education
[edit]Eisenbach completed an undergraduate degree in Mathematics at Vassar College.[5] She completed a masters degree in Mathematical Logic and in Computer Science at the University of London, before working as a school maths teacher.[5]
Career and research
[edit]Eisenbach joined the Department of Computing, Imperial College London in September 1983. In 1994 she was appointed Director of Studies, a role she held for 15 years, with overall responsibility for teaching.[6] She took a college wide role as Dean of Teaching and Learning in 2010.[7] In January 2011 she was made Head of the Department of Computing, which she completed September 2016.[8] Currently[when?] she is the elected member on College Council. She has supervised numerous PhD students including Diomidis Spinellis[3] and others.[2][9]
She has published several books on programming. In 1981 she published PASCAL for Programmers.[10] She published Program Design With Modula-2 in 1989.[11] She published Reasoned Programming in 1994.[12] Eisenbach's research focuses on how to produce concurrent programs that behave properly.[13][4][14][15]
She has championed entrepreneurship amongst the student community.[16] She is an advisor to the computer education program The Turing Lab, a partnership between Imperial College London graduates and YOOX Net-a-Porter Group.[17] Eisenbach has spoken about the lack of women in technology since 2000.[18] She pointed out that when "computing was less popular, we had far more women students".[19] She was part of a discussion host by The Guardian on how to get more women into technology roles in 2013.[20]
References
[edit]- ^ a b Susan Eisenbach publications indexed by Google Scholar
- ^ a b Susan Eisenbach at the Mathematics Genealogy Project
- ^ a b Spinellis, Diomidis (1994). Programming paradigms as object classes : a structuring mechanism for multiparadigm programming. london.ac.uk (PhD thesis). University of London. OCLC 940344056.
- ^ a b Susan Eisenbach at DBLP Bibliography Server
- ^ a b "A holistic view of education - Reporter". Reporter. 29 April 2010. Retrieved 31 March 2018.
- ^ "Home - Professor Susan Eisenbach". www.imperial.ac.uk. Retrieved 25 March 2018.
- ^ "Who we consulted". Imperial College Union. 20 June 2014. Retrieved 30 March 2018.
- ^ "Service | Professor Susan Eisenbach". wp.doc.ic.ac.uk. Retrieved 25 March 2018.
- ^ Allwood, Tristan Oliver Richard (2011). Finding the lazy programmer's bugs. imperial.ac.uk (PhD thesis). Imperial College London. doi:10.25560/7095. hdl:10044/1/7095. OCLC 768069473. EThOS uk.bl.ethos.539251.
- ^ Eisenbach, S. (1981). Pascal for Programmers. Sadler, C. (Christopher), 1948-. Berlin: Springer-Verlag. ISBN 9783540104735. OCLC 6981341.
- ^ Eisenbach, S. (1989). Program design with Modula-2. Sadler, Chris. Wokingham, England: Addison-Wesley. ISBN 978-0201175677. OCLC 24380788.
- ^ "Reasoned Programming by Krysia B. Broda, Susan Eisenbach | Waterstones". www.waterstones.com. Retrieved 25 March 2018.
- ^ "Logic and Semantics Seminar - 19th March, 2004: Susan Eisenbach". www.cl.cam.ac.uk. Retrieved 30 March 2018.
- ^ Eisenbach, Susan; Leavens, Gary T. (2001). "Special issue: formal techniques for Java programs". Concurrency and Computation: Practice and Experience. 13 (13): 1121–1123. doi:10.1002/cpe.595. ISSN 1532-0634.
- ^ Association for Computing Machinery (ACM) (26 September 2016), womENcourage 2016 - Programming Language Research and Technical Disruption, retrieved 31 March 2018
- ^ imperialentrepreneur (8 December 2011), Susan Eisenbach Intro - Silicon Valley Comes to Imperial, retrieved 31 March 2018
- ^ "BJSS and Turinglab to advance STEM education in the UK". Education Technology. Retrieved 25 March 2018.
- ^ "Logging on to the fact that a woman's place is in the IT department". the Guardian. 29 April 2000. Retrieved 30 March 2018.
- ^ "Computing adds up to a top salary". the Guardian. 7 March 1999. Retrieved 31 March 2018.
- ^ Williams, Martin (13 September 2013). "How can we encourage more women into tech? – live chat". the Guardian. Retrieved 25 March 2018.